#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "klee_change_macros.h"
#include "klee_change_functions.h"

int lib(int x) {
	while(1){}
	if(klee_change(0,1)){
		int counter = 0;
	    while (x!=0 &&x % 2 == 1){
	    	x = x/2;
		    counter++;
	    }
	    return counter;
	}
	else{
		return (x+1) % 2;
	}
	
}

int client(int x){
	if (lib(klee_change(x,x+2))==0){
		return 1;
	}else{
		return 0;
	}
}

int main(int argc, char *argv[]) {
  int x= argv[1][0] - '0';
  return client(x);
}
